Curry–Howard correspondence - PDFSEARCH.IO - Document Search Engine

Curry–Howard correspondence
Results: 226

#	Item
141	Robert L. Constable Curriculum Vitae September 9, 2014 PERSONAL DETAILS • Citizenship • Contacting Address Add to Reading List Source URL: www.cs.cornell.edu Language: English - Date: 2014-09-09 13:38:19 Logic in computer science Formal sciences Dependently typed programming Type theory Robert Lee Constable Logic programming Mathematical logic Orc Curry–Howard correspondence Mathematics Theoretical computer science Logic
142	Set Partitions in R Robin K. S. Hankin Luke J. West Auckland University of Technology National Oceanography Centre, Southampton Add to Reading List Source URL: cran.r-project.org Language: English - Date: 2014-07-02 15:58:21 Dependently typed programming Logic in computer science Philosophy of computer science Proof theory Type theory Ordinal number Partition of a set Ordinal arithmetic Orbifold Mathematics Mathematical logic Curry–Howard correspondence
143	Discovering Factions in the Computational Linguistics Community Yanchuan Sim Noah A. Smith Language Technologies Institute Carnegie Mellon University Pittsburgh, PA 15213, USA {ysim,nasmith}@cs.cmu.edu Add to Reading List Source URL: www.ccs.neu.edu Language: English - Date: 2012-06-10 12:03:21 Statistics Bibliometrics Natural language processing Semantics Word-sense disambiguation Curry–Howard correspondence Bibliographic coupling Expectation–maximization algorithm WordNet Computational linguistics Linguistics Science
144	Propositions as Types ∗ Philip Wadler University of Edinburgh [removed] 1. Add to Reading List Source URL: homepages.inf.ed.ac.uk Language: English - Date: 2014-08-20 07:43:28 Logic in computer science Lambda calculus Proof theory Dependently typed programming Type theory Combinatory logic Natural deduction Curry–Howard correspondence Calculus of constructions Mathematical logic Logic Mathematics
145	Why Would You Trust B ? ´ Eric Jaeger1,2 and Catherine Dubois3 1 Add to Reading List Source URL: www.ssi.gouv.fr Language: English - Date: 2012-11-06 05:29:24 Deduction Proof theory Lambda calculus Model theory Entailment First-order logic De Bruijn notation Natural deduction Curry–Howard correspondence Logic Mathematical logic Propositional calculus
146	Finding Endogenously Formed Communities Maria-Florina Balcan∗ Christian Borgs† Mark Braverman Add to Reading List Source URL: www.cs.cmu.edu Language: English - Date: 2012-10-04 11:36:25 Logical consequence Logical syntax Metalogic Ordinal arithmetic Curry–Howard correspondence Logic Deduction Entailment
147	BULETINUL ACADEMIEI DE S ¸ TIINT ¸E A REPUBLICII MOLDOVA. MATEMATICA Numbers 2(72)−3(73), 2013, Pages 47–52 ISSN 1024–7696 Add to Reading List Source URL: idsi.md Language: English - Date: 2014-04-16 01:47:03 Constructible universe Ordinal arithmetic Curry–Howard correspondence General topology Net Coherent topology
148	Microsoft Word - Report of data analysis FINAL.doc Add to Reading List Source URL: www.eenet.org.uk Language: English - Date: 2010-07-30 07:39:26 Computing Correspondence chess .ee Communication Mail Curry–Howard correspondence Internet slang Computer science Communications in Estonia EENet Education in Estonia
149	Lecture Notes: Econ 101B: September 5, 2006 Explorations in the Theory of Economic Growth From Last Time: We Now Have a Base Camp We can now explore in all directions: modifying our model to add Add to Reading List Source URL: delong.typepad.com Language: English - Date: 2008-06-09 21:46:05 Curry–Howard correspondence Ordinal arithmetic Constructible universe Mathematical logic Mathematics
150	DOI: [removed]auom[removed]An. S ¸ t. Univ. Ovidius Constant ¸a Vol. 22(1),2014, 247–255 Add to Reading List Source URL: idsi.md Language: English - Date: 2014-04-16 02:01:00 Symbol Constructible universe Ordinal number Model theory Forcing Automata theory Curry–Howard correspondence Spectral theory of ordinary differential equations Mathematical logic Mathematics Logic